منابع مشابه
TECHNICAL REPORT 95-1 On Implicit Arguments
A typechecker for a typed -calculus having implicit arguments is presented. The typechecker works in such a way that the uniqueness of implicit arguments is always preserved during reduction. Consequently, when it compares two terms by reduction, it can reduce them without inferring implicit arguments. Before describing the typechecker, we analyze various situations where the uniqueness of impl...
متن کاملBiannual report of the Cochrane Haematological Malignancies Group.
This first biannual report from the Cochrane Haematologiocal Malignancies Group (CHMG) highlights recently published systematic reviews as well as a selection of recently published and ongoing randomized controlled trials from the CHMG Trials Register (http://www.update-software.com/cochrane/). This register is being developed and maintained by the CHMG and currently contains references to appr...
متن کاملA multimedia tutorial for user interface design Report 95 - 35
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-Introduction Both teaching and learning user interface (UI) design is difficult, especially because it is a discipline that has grown by trial-and-error, rather than by theory; there is little theory available on the design of user interfaces. Moreover, UI design theory encompasses both a wide range of a...
متن کاملTECHNICAL REPORT 95-02 Controlling Priority Inversion using Abortions
Making critical sections abortable is a promising approach to controlling priority inversions. To improve the schedulability of a system using abortions, the maximum number of abortions should be decreased. In this paper, we propose a real-time synchronization protocol named the selective abort protocol (SAP) which introduces a new abort scheme to the priority ceiling protocol. Our proposed sch...
متن کاملNAS Kernels Survey Report
The NAS Kernels Benchmark Program (NASKER) has been used to measure performance on the Cray C90, Cray Y-MP, Cray-2, Alliant FX/2800 and Connection Machine 2 computer systems. The ground rules for this test are reiterated, with some changes from the original proposal. On each system, tests are performed using varying numbers of processors. Performance results are presented at various tuning leve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Japanese journal of MHTS
سال: 1996
ISSN: 1884-409X,0911-1840
DOI: 10.7143/jhep1985.23.51